Shared Variables Interaction Diagrams
نویسندگان
چکیده
Scenario-based specifications offer an intuitive and visual way of describing design requirements of distributed software systems. For the communication paradigm based on messages, message sequence charts (MSC) offer a standardized and formal notation amenable to formal analysis. In this paper, we define shared variables interaction diagrams (SVID) as the counterpart of MSCs when processes communicate via shared variables. After formally defining SVIDs, we develop an intuitive as well as formal definition of refinement for SVIDs. This notion provides a basis for systematically adding details to SVID requirements.
منابع مشابه
A Method to Represent Multiple-Output Switching Functions by Using Multi-Valued Decision Diagrams
Multiple-output switching functions can be simulated by multiple-valued decision diagrams (MDDs) at a signi cant reduction in computation time. We analyze the following approaches to the representation problem: shared multiple-valued decision diagrams (SMDDs), multi-terminal multiple-valued decision diagrams (MTMDDs), and shared multi-terminal multiple-valued decision diagrams (SMTMDDs). For ex...
متن کاملOrdered and Shared , Linearly - Independent , Variable - Pair Decision Diagramsfor Incompletely Specified
| The paper presents a new kind of decision tree: it is based on nonsingular expansions for pairs of variables. Such trees are next used to create Linearly Independent (LI) Decision Diagrams (LI DDs). There are 840 nonsigular expansions for a pair of variables, so number of nodes in such (exact) diagrams is never larger than that of trees with single-variable Shannon, Positive Davio, and Negati...
متن کاملA New Method for Modeling on Concurrent System
Binary decision diagrams (BDDs) are effective means to cope with complex concurrent system. But the size of BDD itself can be relatively large. We study the BDD representation of large synchronous, asynchronous and interleaved processes with communication via shared variables. Due to the features of communication, we introduce a novel representation strategy. Based on the model, we continue to ...
متن کاملThe Master Field for Rainbow Diagrams and Free Non-Commutative Random Variables
The master field for a subclass of planar diagrams, so called rainbow diagrams, for higher dimensional large N theories is considered. An explicit representation for the master field in terms of noncommutative random variables in the modified interaction representation in the Boltzmannian Fock space is given. A natural interaction in the Boltzmannian Fock space is formulated by means of a ratio...
متن کاملShared Ordered Binary Decision Diagrams for Dempster-Shafer Theory
The binary representation is widely used for representing focal sets of Dempster-Shafer belief functions because it allows to compute efficiently all relevant operations. However, as its space requirement grows exponentially with the number of variables involved, computations may become prohibitive or even impossible for belief functions with larger domains. This paper proposes shared ordered b...
متن کامل